稳定型Stokes方程的非协调有限元后验误差估计

给出了具有混合边界的稳定型Stokes方程的余项型后验误差估计,该误差估计是在Crouzeix-Raviart非协调有限单元上得到的,并给出了误差的上下界,上界证明中使用的“Helmholtz分解”解决了非协调元中不能使用“Galerkin正交”的问题,下界证明主要依赖“bubble函数”.     

关于丢番图方程x3-1=py2

设s为正整数且2｜s,素数p=27s2+1,利用初等方法证明了丢番图方程x3-1=py2仅有平凡整数解(x,y)=(1,0).     

二阶常系数线性非齐次微分方程特解简易求法

求二阶常系数线性非齐次微分方程特解通常是采用待定系数法,计算量很大。本文在不脱离教材特解的求法,利用推导特解过程中出现的重要式子Q″(x)+(2λ+p)Q’(x)+(λ2+pλ+q)Q(x)=Pm(x),简化待定系数法求特解的过程。对右端非齐次项eλx[Pl(x)cosωx+Pn(x)sinωx]是先设变换,化简右端非齐次项。     

一类二阶多点边值共振问题解的存在性

本文利用Mawhin的连续性定理及迭合度理论,讨论二阶非线性微分方程多点边值问题共振时解的存在性,得到了解存在的充分条件。     

一种基于分数阶微分方程模型的基因调控网络构建方法

考虑到实际生物系统的非线性特性,提出了一种基于分数阶微分方程模型构建基因调控网络的新方法,采用模型预测数据与实际数据的逼近误差为目标函数,通过人工鱼群优化算法辨识分数阶微分方程模型的阶次和参数,并引入自适应步长,保留精英个体和增加种群多样性等策略提高算法的进化能力。对真实生物实验数据的结果表明,该方法能够较准确的辨识出模型参数,得到的分数阶微分方程模型与实际数据吻合程度较高。     

土壤水分运动方程的径向基配点法

为解决一维土壤水分运动问题,结合径向基函数与配点法,提出了一种新的无网格方法———径向基配点法无网格算法,证明了解的存在性和唯一性,并通过具体的实例,将该方法与有限差分法比较,结果表明该方法具有计算精度高且易于实现的优点。     

二维Volterra积分方程Chebyshev谱配置解法及误差分析

利用乘积型Chebyshev多项式的Gauss、Gauss-Radau、Gauss-Lobatto点作为配置点,给出了二维Volterra积分方程的谱配置求解方法,同时给出了误差分析的结果.     

一类非线性抛物方程初值问题整体解的存在唯一性

利用压缩映射原理和解的延拓定理证明一类非线性抛物方程初值问题的整体广义解和整体古典解的存在唯一性.     

Nielsen系统Mei对称性的新型守恒量

研究Nielsen系统Mei对称性的新型守恒量.在群的无限小变换下,由Nielsen系统Mei对称性的定义和判据,得到Nielsen系统Mei对称性的一种新结构方程和一种新型守恒量.     

求解抛物型方程的一种有限差分并行格式

用改进的JGS迭代方法求解抛物型方程, 构造了一种新的并行计算格式, 并证明了新算法是绝对稳定的、 显式的, 截断误差达到O(τ+h²). 数值实验结果与理论分析相符.